home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
You can browse this item here: listoftheorem.sty
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| DirectMusic Style (music/directMusicStyle)
| ext
| Unsupported |
| 1%
| dexvert
| Microsoft Word Style Sheet (other/microsoftWordStyleSheet)
| ext
| Unsupported |
| 1%
| dexvert
| Grand Theft Auto 2 Style data (other/grandTheftAuto2StyleData)
| ext
| Unsupported |
| 1%
| dexvert
| KORG File (other/korgFile)
| ext
| Unsupported |
| 1%
| dexvert
| MAGIX music studio Style (other/magixMusicStudioStyle)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
| |
| 100%
| xdgMime
| text/x-matlab
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 0a 25 25 09 4c 61 | 54 65 58 20 53 74 79 6c |%%.%%.La|TeX Styl|
|00000010| 65 20 73 68 65 65 74 20 | 74 6f 20 70 65 72 6d 69 |e sheet |to permi|
|00000020| 74 20 74 68 65 6f 72 65 | 6d 20 65 6e 76 69 72 6f |t theore|m enviro|
|00000030| 6e 6d 65 6e 74 73 20 74 | 6f 20 67 65 6e 65 72 61 |nments t|o genera|
|00000040| 74 65 0a 25 25 09 74 61 | 62 6c 65 2d 6f 66 2d 63 |te.%%.ta|ble-of-c|
|00000050| 6f 6e 74 65 6e 74 73 2d | 6c 69 6b 65 20 65 6e 74 |ontents-|like ent|
|00000060| 72 69 65 73 20 73 69 6d | 69 6c 61 72 20 74 6f 20 |ries sim|ilar to |
|00000070| 74 68 6f 73 65 20 70 72 | 6f 64 75 63 65 64 0a 25 |those pr|oduced.%|
|00000080| 25 09 62 79 65 20 74 68 | 65 20 5c 6c 69 73 74 6f |%.bye th|e \listo|
|00000090| 66 66 69 67 75 72 65 73 | 20 63 6f 6d 6d 61 6e 64 |ffigures| command|
|000000a0| 2e 0a 25 25 20 20 20 09 | 09 2e 2e 2e 41 72 74 20 |..%% .|....Art |
|000000b0| 4d 75 6c 64 65 72 2c 20 | 4a 75 6c 79 2f 39 30 20 |Mulder, |July/90 |
|000000c0| 20 20 20 20 20 20 20 20 | 61 72 74 40 6d 61 63 63 | |art@macc|
|000000d0| 73 2e 44 43 53 53 2e 6d | 63 6d 61 73 74 65 72 2e |s.DCSS.m|cmaster.|
|000000e0| 63 61 0a 25 25 20 20 20 | 20 20 20 20 20 20 20 20 |ca.%% | |
|000000f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000100| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 2e 2e | | ..|
|00000110| 2e 21 75 75 6e 65 74 21 | 75 74 61 69 21 75 74 67 |.!uunet!|utai!utg|
|00000120| 70 75 21 6d 61 63 63 73 | 21 61 72 74 0a 25 25 0a |pu!maccs|!art.%%.|
|00000130| 25 25 09 50 65 72 6d 69 | 73 73 69 6f 6e 20 67 72 |%%.Permi|ssion gr|
|00000140| 61 6e 74 65 64 20 74 6f | 20 64 6f 20 77 68 61 74 |anted to| do what|
|00000150| 65 76 65 72 20 79 6f 75 | 20 77 61 6e 74 20 77 69 |ever you| want wi|
|00000160| 74 68 20 74 68 69 73 20 | 73 74 79 6c 65 0a 25 25 |th this |style.%%|
|00000170| 09 66 69 6c 65 2e 20 20 | 55 73 65 20 61 74 20 79 |.file. |Use at y|
|00000180| 6f 75 72 20 6f 77 6e 20 | 72 69 73 6b 2c 20 69 74 |our own |risk, it|
|00000190| 20 77 6f 72 6b 73 20 66 | 6f 72 20 6d 65 2c 20 62 | works f|or me, b|
|000001a0| 75 74 20 49 20 6d 61 6b | 65 20 6e 6f 0a 25 25 09 |ut I mak|e no.%%.|
|000001b0| 77 61 72 72 61 6e 74 79 | 20 61 73 20 74 6f 20 69 |warranty| as to i|
|000001c0| 74 73 20 70 65 72 66 6f | 72 6d 61 6e 63 65 2e 0a |ts perfo|rmance..|
|000001d0| 0a 25 25 20 53 54 45 50 | 20 4f 4e 45 3a 0a 25 25 |.%% STEP| ONE:.%%|
|000001e0| 20 6d 6f 64 69 66 79 20 | 6f 6e 65 20 6f 66 20 74 | modify |one of t|
|000001f0| 68 65 20 27 62 65 67 69 | 6e 20 74 68 65 6f 72 65 |he 'begi|n theore|
|00000200| 6d 27 20 63 6f 6d 6d 61 | 6e 64 73 20 73 6f 20 74 |m' comma|nds so t|
|00000210| 68 61 74 20 69 74 20 65 | 78 65 63 75 74 65 73 20 |hat it e|xecutes |
|00000220| 61 6e 0a 25 25 20 5c 61 | 64 64 63 6f 6e 74 65 6e |an.%% \a|ddconten|
|00000230| 74 73 6c 69 6e 65 2c 20 | 6f 6e 20 61 20 66 69 6c |tsline, |on a fil|
|00000240| 65 20 63 61 6c 6c 65 64 | 20 77 68 61 74 65 76 65 |e called| whateve|
|00000250| 72 20 74 68 65 20 74 68 | 65 6f 72 65 6d 20 69 73 |r the th|eorem is|
|00000260| 2e 20 20 69 65 3a 20 69 | 66 0a 25 25 20 74 68 69 |. ie: i|f.%% thi|
|00000270| 73 20 69 73 20 61 20 22 | 74 68 65 6f 22 20 74 79 |s is a "|theo" ty|
|00000280| 70 65 20 74 68 65 6f 72 | 65 6d 2c 20 74 68 65 6d |pe theor|em, them|
|00000290| 20 77 72 69 74 65 20 6f | 6e 20 61 20 66 69 6c 65 | write o|n a file|
|000002a0| 20 63 61 6c 6c 65 64 20 | 66 6f 6f 2e 74 68 65 6f | called |foo.theo|
|000002b0| 0a 0a 25 25 20 25 25 20 | 62 61 73 65 64 20 6f 6e |..%% %% |based on|
|000002c0| 20 5c 40 74 68 6d 20 6d | 61 63 72 6f 20 66 6f 75 | \@thm m|acro fou|
|000002d0| 6e 64 20 69 6e 20 6c 61 | 74 65 78 2e 74 65 78 20 |nd in la|tex.tex |
|000002e0| 61 6e 64 20 6d 6f 64 69 | 66 69 65 64 20 74 6f 20 |and modi|fied to |
|000002f0| 73 75 69 74 20 0a 25 25 | 20 25 25 20 6d 79 20 70 |suit .%%| %% my p|
|00000300| 75 72 70 6f 73 65 73 0a | 25 25 20 0a 25 25 20 25 |urposes.|%% .%% %|
|00000310| 20 5c 40 74 68 6d 7b 4e | 41 4d 45 7d 7b 54 45 58 | \@thm{N|AME}{TEX|
|00000320| 54 7d 20 3d 3d 0a 25 25 | 20 25 20 20 20 42 45 47 |T} ==.%%| % BEG|
|00000330| 49 4e 0a 25 25 20 25 20 | 20 20 20 5c 61 64 64 63 |IN.%% % | \addc|
|00000340| 6f 6e 74 65 6e 74 73 6c | 69 6e 65 7b 4e 41 4d 45 |ontentsl|ine{NAME|
|00000350| 7d 7b 66 69 67 75 72 65 | 7d 7b 5c 74 68 65 4e 41 |}{figure|}{\theNA|
|00000360| 4d 45 7d 0a 25 25 20 25 | 25 09 5e 20 61 62 6f 76 |ME}.%% %|%.^ abov|
|00000370| 65 20 6c 69 6e 65 20 61 | 64 64 65 64 20 62 79 20 |e line a|dded by |
|00000380| 61 72 74 20 6d 75 6c 64 | 65 72 0a 25 25 20 25 20 |art muld|er.%% % |
|00000390| 20 20 20 5c 72 65 66 73 | 74 65 70 63 6f 75 6e 74 | \refs|tepcount|
|000003a0| 65 72 7b 4e 41 4d 45 7d | 0a 25 25 20 25 20 20 20 |er{NAME}|.%% % |
|000003b0| 20 69 66 20 6e 65 78 74 | 20 63 68 61 72 20 3d 20 | if next| char = |
|000003c0| 5b 0a 25 25 20 25 20 20 | 20 20 20 20 20 74 68 65 |[.%% % | the|
|000003d0| 6e 20 5c 40 79 74 68 6d | 7b 4e 41 4d 45 7d 7b 54 |n \@ythm|{NAME}{T|
|000003e0| 45 58 54 7d 0a 25 25 20 | 25 20 20 20 20 20 20 20 |EXT}.%% |% |
|000003f0| 65 6c 73 65 20 5c 40 78 | 74 68 6d 7b 4e 41 4d 45 |else \@x|thm{NAME|
|00000400| 7d 7b 54 45 58 54 7d 0a | 25 25 20 25 20 20 20 20 |}{TEXT}.|%% % |
|00000410| 66 69 0a 25 25 20 25 20 | 20 20 45 4e 44 0a 25 25 |fi.%% % | END.%%|
|00000420| 20 0a 25 25 20 5c 64 65 | 66 5c 40 74 68 6d 23 31 | .%% \de|f\@thm#1|
|00000430| 23 32 7b 5c 61 64 64 63 | 6f 6e 74 65 6e 74 73 6c |#2{\addc|ontentsl|
|00000440| 69 6e 65 7b 23 31 7d 7b | 66 69 67 75 72 65 7d 7b |ine{#1}{|figure}{|
|00000450| 5c 70 72 6f 74 65 63 74 | 0a 25 25 20 09 5c 6e 75 |\protect|.%% .\nu|
|00000460| 6d 62 65 72 6c 69 6e 65 | 7b 5c 63 73 6e 61 6d 65 |mberline|{\csname|
|00000470| 20 74 68 65 23 31 5c 65 | 6e 64 63 73 6e 61 6d 65 | the#1\e|ndcsname|
|00000480| 7d 7d 0a 25 25 20 09 5c | 72 65 66 73 74 65 70 63 |}}.%% .\|refstepc|
|00000490| 6f 75 6e 74 65 72 0a 25 | 25 20 20 20 20 20 7b 23 |ounter.%|% {#|
|000004a0| 31 7d 5c 40 69 66 6e 65 | 78 74 63 68 61 72 5b 7b |1}\@ifne|xtchar[{|
|000004b0| 5c 40 79 74 68 6d 7b 23 | 31 7d 7b 23 32 7d 7d 7b |\@ythm{#|1}{#2}}{|
|000004c0| 5c 40 78 74 68 6d 7b 23 | 31 7d 7b 23 32 7d 7d 7d |\@xthm{#|1}{#2}}}|
|000004d0| 0a 25 25 20 0a 25 25 20 | 54 48 49 53 20 41 42 4f |.%% .%% |THIS ABO|
|000004e0| 56 45 20 43 4f 44 45 20 | 57 4f 52 4b 53 2c 20 48 |VE CODE |WORKS, H|
|000004f0| 4f 57 45 56 45 52 20 49 | 54 20 4d 41 4b 45 53 20 |OWEVER I|T MAKES |
|00000500| 4e 4f 20 50 52 4f 56 49 | 53 49 4f 4e 20 46 4f 52 |NO PROVI|SION FOR|
|00000510| 20 49 4e 43 4c 55 44 49 | 4e 47 0a 25 25 20 54 48 | INCLUDI|NG.%% TH|
|00000520| 45 20 4f 50 54 49 4f 4e | 41 4c 20 41 52 47 55 4d |E OPTION|AL ARGUM|
|00000530| 45 4e 54 20 49 4e 20 54 | 48 45 20 4c 49 53 54 49 |ENT IN T|HE LISTI|
|00000540| 4e 47 2e 20 20 54 48 49 | 53 20 4e 45 58 54 20 43 |NG. THI|S NEXT C|
|00000550| 4f 44 45 20 28 55 50 20 | 54 4f 20 53 54 45 50 20 |ODE (UP |TO STEP |
|00000560| 54 57 4f 29 0a 25 25 20 | 44 4f 45 53 20 49 4e 43 |TWO).%% |DOES INC|
|00000570| 4c 55 44 45 20 54 48 45 | 20 4f 50 54 49 4f 4e 41 |LUDE THE| OPTIONA|
|00000580| 4c 20 41 52 47 55 4d 45 | 4e 54 20 49 4e 20 54 48 |L ARGUME|NT IN TH|
|00000590| 45 20 4c 49 53 54 49 4e | 47 2e 0a 0a 25 25 20 62 |E LISTIN|G...%% b|
|000005a0| 61 73 65 64 20 6f 6e 20 | 5c 40 78 74 68 6d 20 61 |ased on |\@xthm a|
|000005b0| 6e 64 20 5c 40 79 74 68 | 6d 20 6d 61 63 72 6f 73 |nd \@yth|m macros|
|000005c0| 20 66 6f 75 6e 64 20 69 | 6e 20 6c 61 74 65 78 2e | found i|n latex.|
|000005d0| 74 65 78 0a 0a 25 20 5c | 40 78 74 68 6d 7b 4e 41 |tex..% \|@xthm{NA|
|000005e0| 4d 45 7d 7b 54 45 58 54 | 7d 20 3d 3d 0a 25 20 20 |ME}{TEXT|} ==.% |
|000005f0| 20 42 45 47 49 4e 0a 25 | 20 20 20 20 5c 61 64 64 | BEGIN.%| \add|
|00000600| 63 6f 6e 74 65 6e 74 73 | 6c 69 6e 65 7b 4e 41 4d |contents|line{NAM|
|00000610| 45 7d 7b 66 69 67 75 72 | 65 7d 7b 5c 74 68 65 4e |E}{figur|e}{\theN|
|00000620| 41 4d 45 7d 0a 25 25 09 | 5e 20 61 62 6f 76 65 20 |AME}.%%.|^ above |
|00000630| 6c 69 6e 65 20 61 64 64 | 65 64 20 62 79 20 61 72 |line add|ed by ar|
|00000640| 74 20 6d 75 6c 64 65 72 | 0a 25 20 20 20 20 5c 40 |t mulder|.% \@|
|00000650| 62 65 67 69 6e 74 68 65 | 6f 72 65 6d 7b 54 45 58 |beginthe|orem{TEX|
|00000660| 54 7d 7b 5c 74 68 65 4e | 41 4d 45 7d 0a 25 20 20 |T}{\theN|AME}.% |
|00000670| 20 20 5c 69 67 6e 6f 72 | 65 73 70 61 63 65 73 0a | \ignor|espaces.|
|00000680| 25 20 20 20 45 4e 44 0a | 25 0a 25 20 5c 40 79 74 |% END.|%.% \@yt|
|00000690| 68 6d 7b 4e 41 4d 45 7d | 7b 54 45 58 54 7d 5b 4f |hm{NAME}|{TEXT}[O|
|000006a0| 50 41 52 47 5d 20 3d 3d | 0a 25 20 20 20 42 45 47 |PARG] ==|.% BEG|
|000006b0| 49 4e 0a 25 20 20 20 20 | 5c 61 64 64 63 6f 6e 74 |IN.% |\addcont|
|000006c0| 65 6e 74 73 6c 69 6e 65 | 7b 4e 41 4d 45 7d 7b 66 |entsline|{NAME}{f|
|000006d0| 69 67 75 72 65 7d 7b 5c | 74 68 65 4e 41 4d 45 20 |igure}{\|theNAME |
|000006e0| 4f 50 41 52 47 7d 0a 25 | 25 09 5e 20 61 62 6f 76 |OPARG}.%|%.^ abov|
|000006f0| 65 20 6c 69 6e 65 20 61 | 64 64 65 64 20 62 79 20 |e line a|dded by |
|00000700| 61 72 74 20 6d 75 6c 64 | 65 72 0a 25 25 20 20 20 |art muld|er.%% |
|00000710| 20 20 20 20 20 50 75 74 | 20 74 68 65 20 4f 70 74 | Put| the Opt|
|00000720| 69 6f 6e 61 6c 20 41 72 | 67 75 6d 65 6e 74 20 69 |ional Ar|gument i|
|00000730| 6e 74 6f 20 74 68 65 20 | 4c 69 73 74 2d 4f 66 20 |nto the |List-Of |
|00000740| 66 69 6c 65 0a 25 20 20 | 20 20 5c 40 6f 70 61 72 |file.% | \@opar|
|00000750| 67 62 65 67 69 6e 74 68 | 65 6f 72 65 6d 7b 54 45 |gbeginth|eorem{TE|
|00000760| 58 54 7d 7b 5c 74 68 65 | 4e 41 4d 45 7d 7b 4f 50 |XT}{\the|NAME}{OP|
|00000770| 41 52 47 7d 0a 25 20 20 | 20 20 5c 69 67 6e 6f 72 |ARG}.% | \ignor|
|00000780| 65 73 70 61 63 65 73 0a | 25 20 20 20 45 4e 44 0a |espaces.|% END.|
|00000790| 0a 5c 64 65 66 5c 40 78 | 74 68 6d 23 31 23 32 7b |.\def\@x|thm#1#2{|
|000007a0| 5c 61 64 64 63 6f 6e 74 | 65 6e 74 73 6c 69 6e 65 |\addcont|entsline|
|000007b0| 7b 23 31 7d 7b 66 69 67 | 75 72 65 7d 7b 5c 70 72 |{#1}{fig|ure}{\pr|
|000007c0| 6f 74 65 63 74 0a 20 09 | 5c 6e 75 6d 62 65 72 6c |otect. .|\numberl|
|000007d0| 69 6e 65 7b 5c 63 73 6e | 61 6d 65 20 74 68 65 23 |ine{\csn|ame the#|
|000007e0| 31 5c 65 6e 64 63 73 6e | 61 6d 65 7d 7d 0a 09 5c |1\endcsn|ame}}..\|
|000007f0| 40 62 65 67 69 6e 74 68 | 65 6f 72 65 6d 7b 23 32 |@beginth|eorem{#2|
|00000800| 7d 7b 5c 63 73 6e 61 6d | 65 20 74 68 65 23 31 5c |}{\csnam|e the#1\|
|00000810| 65 6e 64 63 73 6e 61 6d | 65 7d 5c 69 67 6e 6f 72 |endcsnam|e}\ignor|
|00000820| 65 73 70 61 63 65 73 7d | 0a 5c 64 65 66 5c 40 79 |espaces}|.\def\@y|
|00000830| 74 68 6d 23 31 23 32 5b | 23 33 5d 7b 5c 61 64 64 |thm#1#2[|#3]{\add|
|00000840| 63 6f 6e 74 65 6e 74 73 | 6c 69 6e 65 7b 23 31 7d |contents|line{#1}|
|00000850| 7b 66 69 67 75 72 65 7d | 7b 5c 70 72 6f 74 65 63 |{figure}|{\protec|
|00000860| 74 0a 20 09 5c 6e 75 6d | 62 65 72 6c 69 6e 65 7b |t. .\num|berline{|
|00000870| 5c 63 73 6e 61 6d 65 20 | 74 68 65 23 31 5c 65 6e |\csname |the#1\en|
|00000880| 64 63 73 6e 61 6d 65 7d | 7b 5c 69 67 6e 6f 72 65 |dcsname}|{\ignore|
|00000890| 73 70 61 63 65 73 20 23 | 33 7d 7d 0a 09 5c 40 6f |spaces #|3}}..\@o|
|000008a0| 70 61 72 67 62 65 67 69 | 6e 74 68 65 6f 72 65 6d |pargbegi|ntheorem|
|000008b0| 7b 23 32 7d 7b 5c 63 73 | 6e 61 6d 65 0a 20 20 20 |{#2}{\cs|name. |
|000008c0| 20 20 20 20 74 68 65 23 | 31 5c 65 6e 64 63 73 6e | the#|1\endcsn|
|000008d0| 61 6d 65 7d 7b 23 33 7d | 5c 69 67 6e 6f 72 65 73 |ame}{#3}|\ignores|
|000008e0| 70 61 63 65 73 7d 0a 0a | 25 25 20 53 54 45 50 20 |paces}..|%% STEP |
|000008f0| 54 57 4f 3a 0a 25 25 20 | 77 72 69 74 65 20 5c 6c |TWO:.%% |write \l|
|00000900| 69 73 74 6f 66 7b 7d 7b | 7d 20 6d 61 63 72 6f 20 |istof{}{|} macro |
|00000910| 74 6f 20 67 65 6e 65 72 | 61 74 65 20 6c 69 73 74 |to gener|ate list|
|00000920| 73 20 6f 66 20 64 65 73 | 69 72 65 64 20 74 68 65 |s of des|ired the|
|00000930| 6f 72 65 6d 20 0a 25 25 | 20 65 6e 76 69 72 6f 6e |orem .%%| environ|
|00000940| 6d 65 6e 74 73 2e 0a 0a | 25 25 20 62 61 73 65 64 |ments...|%% based|
|00000950| 20 6f 6e 20 6c 69 73 74 | 6f 66 66 69 67 75 72 65 | on list|offigure|
|00000960| 73 20 6d 61 63 72 6f 20 | 66 72 6f 6d 20 62 6f 6f |s macro |from boo|
|00000970| 6b 2e 64 6f 63 20 28 6f | 72 20 62 6f 6f 6b 2e 73 |k.doc (o|r book.s|
|00000980| 74 79 29 0a 0a 5c 64 65 | 66 5c 6c 69 73 74 6f 66 |ty)..\de|f\listof|
|00000990| 23 31 23 32 7b 5c 40 72 | 65 73 74 6f 6e 65 63 6f |#1#2{\@r|estoneco|
|000009a0| 6c 66 61 6c 73 65 5c 69 | 66 40 74 77 6f 63 6f 6c |lfalse\i|f@twocol|
|000009b0| 75 6d 6e 5c 40 72 65 73 | 74 6f 6e 65 63 6f 6c 74 |umn\@res|tonecolt|
|000009c0| 72 75 65 5c 6f 6e 65 63 | 6f 6c 75 6d 6e 0a 20 20 |rue\onec|olumn. |
|000009d0| 5c 66 69 5c 63 68 61 70 | 74 65 72 2a 7b 4c 69 73 |\fi\chap|ter*{Lis|
|000009e0| 74 20 6f 66 20 23 31 5c | 40 6d 6b 62 6f 74 68 0a |t of #1\|@mkboth.|
|000009f0| 20 20 20 20 20 7b 4c 49 | 53 54 20 4f 46 20 5c 75 | {LI|ST OF \u|
|00000a00| 70 70 65 72 63 61 73 65 | 7b 23 31 7d 7d 7b 4c 49 |ppercase|{#1}}{LI|
|00000a10| 53 54 20 4f 46 20 5c 75 | 70 70 65 72 63 61 73 65 |ST OF \u|ppercase|
|00000a20| 7b 23 31 7d 7d 7d 0a 20 | 20 20 20 20 5c 40 73 74 |{#1}}}. | \@st|
|00000a30| 61 72 74 74 6f 63 7b 23 | 32 7d 5c 69 66 40 72 65 |arttoc{#|2}\if@re|
|00000a40| 73 74 6f 6e 65 63 6f 6c | 20 5c 74 77 6f 63 6f 6c |stonecol| \twocol|
|00000a50| 75 6d 6e 5c 66 69 7d 0a | 0a 25 5c 64 65 66 5c 6c |umn\fi}.|.%\def\l|
|00000a60| 40 66 69 67 75 72 65 7b | 5c 40 64 6f 74 74 65 64 |@figure{|\@dotted|
|00000a70| 74 6f 63 6c 69 6e 65 7b | 31 7d 7b 31 2e 35 65 6d |tocline{|1}{1.5em|
|00000a80| 7d 7b 32 2e 33 65 6d 7d | 0a 0a 25 25 2d 2d 2d 2d |}{2.3em}|..%%----|
|00000a90| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000aa0| 0a 25 25 20 49 4e 53 54 | 52 55 43 54 49 4f 4e 53 |.%% INST|RUCTIONS|
|00000ab0| 20 46 4f 52 20 55 53 45 | 3a 0a 25 25 20 2d 20 72 | FOR USE|:.%% - r|
|00000ac0| 65 61 64 20 74 68 65 20 | 73 65 63 74 69 6f 6e 73 |ead the |sections|
|00000ad0| 20 69 6e 20 74 68 65 20 | 4c 61 54 65 58 20 6d 61 | in the |LaTeX ma|
|00000ae0| 6e 75 61 6c 20 69 6e 20 | 72 65 67 61 72 64 73 20 |nual in |regards |
|00000af0| 74 6f 3a 0a 25 25 09 5c | 61 64 64 63 6f 6e 74 65 |to:.%%.\|addconte|
|00000b00| 6e 74 73 6c 69 6e 65 2c | 20 5c 6e 65 77 74 68 65 |ntsline,| \newthe|
|00000b10| 6f 72 65 6d 0a 25 25 20 | 2d 20 75 73 65 20 61 20 |orem.%% |- use a |
|00000b20| 74 68 65 6f 72 65 6d 20 | 65 6e 76 6f 72 6e 6d 65 |theorem |envornme|
|00000b30| 6e 74 20 61 73 20 75 73 | 75 61 6c 20 28 61 6c 6c |nt as us|ual (all|
|00000b40| 20 63 68 61 6e 67 65 73 | 20 74 68 65 72 65 20 61 | changes| there a|
|00000b50| 72 65 20 22 62 65 68 69 | 6e 64 20 74 68 65 20 0a |re "behi|nd the .|
|00000b60| 25 25 09 73 63 65 6e 65 | 73 22 20 73 6f 20 79 6f |%%.scene|s" so yo|
|00000b70| 75 20 64 6f 6e 27 74 20 | 68 61 76 65 20 74 6f 20 |u don't |have to |
|00000b80| 64 6f 20 61 6e 79 74 68 | 69 6e 67 20 64 69 66 66 |do anyth|ing diff|
|00000b90| 65 72 65 6e 74 29 0a 25 | 25 20 2d 20 69 6e 73 65 |erent).%|% - inse|
|00000ba0| 72 74 20 61 20 5c 6c 69 | 73 74 6f 66 20 63 6f 6d |rt a \li|stof com|
|00000bb0| 6d 61 6e 64 20 69 6e 20 | 79 6f 75 72 20 64 6f 63 |mand in |your doc|
|00000bc0| 75 6d 65 6e 74 20 77 68 | 65 72 65 76 65 72 20 79 |ument wh|erever y|
|00000bd0| 6f 75 20 77 61 6e 74 20 | 61 20 0a 25 25 09 6c 69 |ou want |a .%%.li|
|00000be0| 73 74 69 6e 67 20 74 6f | 20 67 6f 20 28 44 49 53 |sting to| go (DIS|
|00000bf0| 43 4c 41 49 4d 45 52 3a | 20 49 20 68 61 76 65 20 |CLAIMER:| I have |
|00000c00| 6f 6e 6c 79 20 74 72 69 | 65 64 20 74 68 69 73 20 |only tri|ed this |
|00000c10| 61 74 20 74 68 65 20 0a | 25 25 09 66 72 6f 6e 74 |at the .|%%.front|
|00000c20| 20 6f 66 20 74 68 65 20 | 62 6f 6f 6b 2c 20 66 6f | of the |book, fo|
|00000c30| 6c 6c 6f 77 69 6e 67 20 | 74 68 65 20 54 61 62 6c |llowing |the Tabl|
|00000c40| 65 20 6f 66 20 43 6f 6e | 74 65 6e 74 73 29 0a 25 |e of Con|tents).%|
|00000c50| 25 20 2d 20 74 68 65 20 | 6c 69 73 74 6f 66 20 63 |% - the |listof c|
|00000c60| 6f 6d 6d 61 6e 64 20 68 | 61 73 20 74 68 65 20 66 |ommand h|as the f|
|00000c70| 6f 6c 6c 6f 77 69 6e 67 | 20 66 6f 72 6d 3a 0a 25 |ollowing| form:.%|
|00000c80| 25 09 09 5c 6c 69 73 74 | 6f 66 7b 48 45 41 44 49 |%..\list|of{HEADI|
|00000c90| 4e 47 7d 7b 54 48 45 4f | 52 45 4d 5f 45 4e 56 5f |NG}{THEO|REM_ENV_|
|00000ca0| 4e 41 4d 45 7d 0a 25 25 | 20 20 20 77 68 65 72 65 |NAME}.%%| where|
|00000cb0| 3a 0a 25 25 09 48 45 41 | 44 49 4e 47 20 3d 20 77 |:.%%.HEA|DING = w|
|00000cc0| 68 61 74 65 76 65 72 20 | 79 6f 75 20 77 61 6e 74 |hatever |you want|
|00000cd0| 20 74 6f 20 66 6f 6c 6c | 6f 77 20 74 68 65 20 77 | to foll|ow the w|
|00000ce0| 6f 72 64 73 0a 25 25 09 | 09 22 4c 69 73 74 20 4f |ords.%%.|."List O|
|00000cf0| 66 22 20 69 6e 20 74 68 | 65 20 68 65 61 64 69 6e |f" in th|e headin|
|00000d00| 67 2e 0a 25 25 09 54 48 | 45 4f 52 45 4d 5f 45 4e |g..%%.TH|EOREM_EN|
|00000d10| 56 5f 4e 41 4d 45 20 3d | 20 74 68 65 20 65 6e 76 |V_NAME =| the env|
|00000d20| 69 72 6f 6e 6d 65 6e 74 | 20 6e 61 6d 65 20 74 68 |ironment| name th|
|00000d30| 61 74 20 79 6f 75 20 67 | 61 76 65 0a 25 25 09 09 |at you g|ave.%%..|
|00000d40| 74 6f 20 79 6f 75 72 20 | 74 68 65 6f 72 65 6d 20 |to your |theorem |
|00000d50| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 2e 0a 0a 25 25 |environm|ent...%%|
|00000d60| 20 45 58 41 4d 50 4c 45 | 20 55 53 41 47 45 3a 0a | EXAMPLE| USAGE:.|
|00000d70| 25 25 20 2d 20 64 65 66 | 69 6e 65 20 61 20 74 68 |%% - def|ine a th|
|00000d80| 65 6f 72 65 6d 20 65 6e | 76 69 72 6f 6e 6d 65 6e |eorem en|vironmen|
|00000d90| 74 3a 0a 25 25 09 5c 6e | 65 77 74 68 65 6f 72 65 |t:.%%.\n|ewtheore|
|00000da0| 6d 7b 6c 65 6d 7d 7b 4c | 65 6d 6d 61 7d 5b 73 65 |m{lem}{L|emma}[se|
|00000db0| 63 74 69 6f 6e 5d 0a 25 | 25 09 09 5e 20 64 65 66 |ction].%|%..^ def|
|00000dc0| 69 6e 65 20 61 20 22 4c | 65 6d 6d 61 22 20 74 68 |ine a "L|emma" th|
|00000dd0| 65 6f 72 65 6d 20 65 6e | 76 69 72 6f 6e 6d 65 6e |eorem en|vironmen|
|00000de0| 74 2c 20 6e 75 6d 62 65 | 72 65 64 20 77 69 74 68 |t, numbe|red with|
|00000df0| 69 6e 0a 25 25 09 09 20 | 20 63 68 61 70 74 65 72 |in.%%.. | chapter|
|00000e00| 73 20 28 4e 4f 20 43 48 | 41 4e 47 45 20 66 72 6f |s (NO CH|ANGE fro|
|00000e10| 6d 20 62 65 66 6f 72 65 | 20 75 73 65 20 6f 66 0a |m before| use of.|
|00000e20| 25 25 09 09 20 20 6c 69 | 73 74 6f 66 74 68 65 6f |%%.. li|stoftheo|
|00000e30| 72 65 6d 2e 73 74 79 29 | 0a 25 25 0a 25 25 20 2d |rem.sty)|.%%.%% -|
|00000e40| 20 72 65 71 75 65 73 74 | 20 61 20 6c 69 73 74 20 | request| a list |
|00000e50| 6f 66 20 74 68 65 6f 72 | 65 6d 73 0a 25 25 09 5c |of theor|ems.%%.\|
|00000e60| 6c 69 73 74 6f 66 7b 4c | 65 6d 6d 61 73 7d 7b 6c |listof{L|emmas}{l|
|00000e70| 65 6d 7d 0a 25 25 09 09 | 5e 20 77 69 6c 6c 20 6e |em}.%%..|^ will n|
|00000e80| 6f 77 20 67 65 74 20 61 | 20 6c 69 73 74 69 6e 67 |ow get a| listing|
|00000e90| 20 73 69 6d 69 6c 61 72 | 20 74 6f 20 61 20 22 6c | similar| to a "l|
|00000ea0| 69 73 74 20 6f 66 20 66 | 69 67 75 72 65 73 22 0a |ist of f|igures".|
|00000eb0| 25 25 09 09 20 20 65 6e | 74 69 74 6c 65 64 20 22 |%%.. en|titled "|
|00000ec0| 4c 69 73 74 20 4f 66 20 | 4c 65 6d 6d 61 73 22 2e |List Of |Lemmas".|
|00000ed0| 0a 25 25 0a 25 25 20 2d | 20 75 73 65 20 74 68 65 |.%%.%% -| use the|
|00000ee0| 20 6c 65 6d 6d 61 20 74 | 68 65 6f 72 65 6d 20 65 | lemma t|heorem e|
|00000ef0| 6e 76 69 72 6f 6e 6d 65 | 6e 74 0a 25 25 09 5c 62 |nvironme|nt.%%.\b|
|00000f00| 65 67 69 6e 7b 6c 65 6d | 7d 0a 25 25 09 09 62 6c |egin{lem|}.%%..bl|
|00000f10| 61 68 20 62 6c 61 68 0a | 25 25 09 5c 65 6e 64 7b |ah blah.|%%.\end{|
|00000f20| 6c 65 6d 7d 0a 25 25 09 | 09 5e 20 49 6e 20 61 64 |lem}.%%.|.^ In ad|
|00000f30| 64 69 74 69 6f 6e 20 74 | 6f 20 77 68 61 74 20 74 |dition t|o what t|
|00000f40| 68 65 20 74 68 65 6f 72 | 65 6d 20 65 6e 76 69 72 |he theor|em envir|
|00000f50| 6f 6e 6d 65 6e 74 20 77 | 6f 75 6c 64 20 0a 25 25 |onment w|ould .%%|
|00000f60| 09 09 20 20 6e 6f 72 6d | 61 6c 6c 79 20 64 6f 2c |.. norm|ally do,|
|00000f70| 20 74 68 69 73 20 77 69 | 6c 6c 20 77 72 69 74 65 | this wi|ll write|
|00000f80| 20 61 20 22 6c 69 73 74 | 20 6f 66 20 6c 65 6d 6d | a "list| of lemm|
|00000f90| 61 73 22 0a 25 25 09 09 | 20 20 65 6e 74 72 79 20 |as".%%..| entry |
|00000fa0| 6f 6e 20 61 20 66 69 6c | 65 20 65 6e 74 69 74 6c |on a fil|e entitl|
|00000fb0| 65 64 20 66 6f 6f 2e 6c | 65 6d 2c 20 77 68 65 72 |ed foo.l|em, wher|
|00000fc0| 65 20 66 6f 6f 20 69 73 | 20 74 68 65 20 6e 61 6d |e foo is| the nam|
|00000fd0| 65 0a 25 25 09 09 20 20 | 6f 66 20 74 68 65 20 64 |e.%%.. |of the d|
|00000fe0| 6f 63 75 6d 65 6e 74 20 | 28 61 73 20 69 6e 20 66 |ocument |(as in f|
|00000ff0| 6f 6f 2e 74 65 78 29 2e | 0a 25 25 09 09 20 20 4e |oo.tex).|.%%.. N|
|00001000| 6f 74 65 20 74 68 65 72 | 65 20 69 73 20 4e 4f 20 |ote ther|e is NO |
|00001010| 43 48 41 4e 47 45 20 69 | 6e 20 75 73 65 20 66 72 |CHANGE i|n use fr|
|00001020| 6f 6d 20 62 65 66 6f 72 | 65 20 75 73 65 20 6f 66 |om befor|e use of|
|00001030| 0a 25 25 09 09 20 20 6c | 69 73 74 6f 66 74 68 65 |.%%.. l|istofthe|
|00001040| 6f 72 65 6d 2e 73 74 79 | 0a 0a 25 25 20 42 55 47 |orem.sty|..%% BUG|
|00001050| 53 3a 0a 25 25 20 2d 20 | 74 77 6f 20 74 68 65 6f |S:.%% - |two theo|
|00001060| 72 65 6d 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 73 |rem envi|ronments|
|00001070| 20 63 61 6e 20 73 68 61 | 72 65 20 61 20 63 6f 75 | can sha|re a cou|
|00001080| 6e 74 65 72 20 28 73 65 | 65 20 6e 75 6d 62 65 72 |nter (se|e number|
|00001090| 65 64 5f 6c 69 6b 65 0a | 25 25 20 20 20 6f 70 74 |ed_like.|%% opt|
|000010a0| 69 6f 6e 20 69 6e 20 64 | 65 66 69 6e 69 74 69 6f |ion in d|efinitio|
|000010b0| 6e 20 6f 66 20 54 68 65 | 6f 72 65 6d 20 65 6e 76 |n of The|orem env|
|000010c0| 69 72 6f 6e 6d 65 6e 74 | 73 20 69 6e 20 4c 61 54 |ironment|s in LaT|
|000010d0| 65 58 20 6d 61 6e 75 61 | 6c 29 0a 25 25 20 20 20 |eX manua|l).%% |
|000010e0| 42 75 74 20 74 68 65 72 | 65 20 69 73 20 6e 6f 20 |But ther|e is no |
|000010f0| 77 61 79 20 66 6f 72 20 | 74 77 6f 20 74 68 65 6f |way for |two theo|
|00001100| 72 65 6d 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 73 |rem envi|ronments|
|00001110| 20 74 6f 20 73 68 61 72 | 65 20 6c 69 73 74 69 6e | to shar|e listin|
|00001120| 67 2e 0a | |g.. | |
+--------+-------------------------+-------------------------+--------+--------+
